Labels:bulletin board | paper | reckoner | sky OCR: FIRST rder PREDICATE OGIC h'xAdEA [p>8Ax,y>I=>xY There infinitely ma prime num beps Vab,c,n (a 5,c>O n>a 4507 has no salut Ms h*XAEA [p>gA(xg x-y >1 +p+))] TWIN PeIME ONJECTURE There are infinitely prime pairs, 71907 hxV3 aEBA infinitel many Vabc Fermats Theorem solutins xAaEA xypAx